The Positive Fragments of Grundgesetze
نویسنده
چکیده
Generally, the theory, consisting of standard second-order theory and Hume’s Principle, is called Frege Arithmetic. However, Frege Theorem doesn’t amount to the establishment of Frege’s Logicism, because neither Hume’s Principle is considered as analytical truth, nor is second-order logic as logic in strict sense. Most challenges to second-order logic are related with its comprehension axiom, which asserts that every formula defines a concept or relation. Formally:
منابع مشابه
Amending Frege’s Grundgesetze der Arithmetik [draft]
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of redu...
متن کاملGrundgesetze and the Sense/Reference Distinction
Frege started his work on the intellectual project culminating in his Grundgesetze der Arithmetik—that of deriving the basic principles of arithmetic from purely logical laws—quite early in his career. Indeed, in the foreword to Grundgesetze (pp. VIII–X), Frege claims to have already begun working on it at the time of his 1879 Begriffsschrift, and it is certainly evident in intermediate works a...
متن کاملAmending Frege's Grundgesetze der Arithmetik
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is essentially second-order logic together with an abstraction operator that abides to Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for con...
متن کاملVariations of Frege’s Grundgesetze
We retain the Grundgesetz V , but replace impredicative comprehension with certain ramified comprehension principles.
متن کاملTrend and pattern analysis of runoff and sediment in different soil clay contents and surface rock fragments
Different factors affect the runoff and sediment production during storm conditions. Among different soil properties, clay content is one of the most important bonding agents for aggregation and infiltration. Rock fragments also affect hydrological and erosional processes, but these relationships in various soil clay contents or surface rock fragments may be positive or negative, thus examinati...
متن کامل